New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support urdfdom_headers 1.0 for DART 5.1 (backport of #766) #799

Merged

jslee02 merged 2 commits into release-5.1 from urdfdom_dart-5.1

Oct 17, 2016

Member

jslee02 commented Oct 17, 2016 •

edited

Loading

This change is


          Support urdfdom_headers 1.0 for DART 5.1

99a2790

jslee02 added this to the DART 5.1.5 milestone


          Update changelog, and bump version to 5.1.5

74bef16

jslee02 merged commit 851d60a into release-5.1

jslee02 mentioned this pull request

Failure of testOptimizer with release-5.1 (tag 5.1.4) #798

Closed

jslee02 deleted the urdfdom_dart-5.1 branch

October 17, 2016 12:52

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet